First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
491	Common Logic in Support of Metadata and Ontologies Outline • Common Logic Add to Reading List Source URL: cl.tamu.edu Language: English - Date: 2005-04-14 11:03:14 Predicate logic Knowledge representation Model theory Semantics Formal languages Common logic Conceptual graph First-order logic Knowledge Interchange Format Logic Science Mathematical logic
492	This article was downloaded by: [Princeton University] On: 21 June 2012, At: 09:22 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House, 37- Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:26 Philosophical logic Deduction Thought Predicate logic Inference Reason First-order logic Deductive reasoning Quantification Logic Science Reasoning
493	This article was downloaded by: [Princeton University] On: 05 June 2012, At: 09:57 Publisher: Psychology Press Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House, 37- Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:02 Propositional calculus Grammar Semantics Logical connectives Model theory Negation Logic programming First-order logic Axiom Logic Mathematical logic Science
494	Radically Incomplete Reasoning about Containers: A First-Order Theory Ernest Davis September 28, 2013 This paper is a supplement to the paper, “Reasoning about Containers and Manipulation using Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-09-28 11:14:55 Model theory Predicate logic Metalogic S Set theory Z notation Functional predicate First-order logic Function Mathematical logic Mathematics Logic
495	On Formal Specification of a Proof Tool∗ R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:33:45 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
496	On the Expressive Power of Cost Logics over Infinite Words? Denis Kuperberg1 , Michael Vanden Boom2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Formal languages Logic Muller automaton Linear temporal logic Partition FO Alphabet First-order logic Star height Mathematics Automata theory Theoretical computer science
497	Advanced encoding of programs CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Division of Computer Science Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-09 10:02:45 Model theory Electronic design automation Relational model Z3 Unsatisfiable core Logic synthesis First-order logic Transitive closure Finitary relation Logic Mathematics Mathematical logic
498	On the Complexity of Existential Positive Queries HUBIE CHEN, Universidad del Pa´ıs Vasco and IKERBASQUE We systematically investigate the complexity of model checking the existential positive fragment of firstorder lo Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2013-09-23 12:22:15 Finite model theory Model theory Parameterized complexity Analysis of algorithms Structural complexity theory FO First-order logic SO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics
499	Modelling Abduction in Science by means of a Modal Adaptive Logic Tjerk Gauderis∗ Centre for Logic and Philosophy of Science Ghent University, Blandijnberg 2, 9000 Gent, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:49:17 Philosophical logic Model theory Epistemology Charles Sanders Peirce Abductive reasoning First-order logic Inference Modal logic Propositional calculus Logic Mathematical logic Reasoning
500	Common Logic A Framework for a Family Of Logic-Based Languages John F. Sowa 19 May 2008 Add to Reading List Source URL: cl.tamu.edu Language: English - Date: 2008-10-30 13:57:13 Diagrams Philosophy of science Philosophical logic Mathematical logic Conceptual graph Common logic First-order logic Charles Sanders Peirce Semantics Logic Science Philosophy

UPDATE